An Introduction to Pervasive Interface Automata

Pervasive systems are often context-dependent, component based systems in which components expose interfaces and offer one or more services. These systems may evolve in unpredictable ways, often through component replacement. We present pervasive interface automata as a formalism for modelling components and their composition. Pervasive interface automata are based on the interface automata of Henzinger et al, with several significant differences. We expand their notion of input and output actions to combinations of input, output actions, and callable methods and method calls. Whereas interfaces automata have a refinement relation, we argue the crucial relation in pervasive systems is component replacement, which must include consideration of the services offered by a component and assumptions about the environment. We illustrate pervasive interface autmotata and component replacement with a small case study of a pervasive application for sports predictions

Orthogonality Relations and Supercharacter Formulas of U(m|n) Representations

In this paper we obtain the orthogonality relations for the supergroup U(m|n), which are remarkably different from the ones for the U(N) case. We extend our results for ordinary representations, obtained some time ago, to the case of complex conjugated and mixed representations. Our results are expressed in terms of the Young tableaux notation for irreducible representations. We use the supersymmetric Harish-Chandra-Itzykson-Zuber integral and the character expansion technique as mathematical tools for deriving these relations. As a byproduct we also obtain closed expressions for the supercharacters and dimensions of some particular irreducible U(m|n) representations. A new way of labeling the U(m|n) irreducible representations in terms of m + n numbers is proposed. Finally, as a corollary of our results, new identities among the dimensions of the irreducible representations of the unitary group U(N) are presented.Comment: 56 pages, LaTeX, changes only in the writing of the titl

An Algorithm for Probabilistic Alternating Simulation

In probabilistic game structures, probabilistic alternating simulation (PA-simulation) relations preserve formulas defined in probabilistic alternating-time temporal logic with respect to the behaviour of a subset of players. We propose a partition based algorithm for computing the largest PA-simulation, which is to our knowledge the first such algorithm that works in polynomial time, by extending the generalised coarsest partition problem (GCPP) in a game-based setting with mixed strategies. The algorithm has higher complexities than those in the literature for non-probabilistic simulation and probabilistic simulation without mixed actions, but slightly improves the existing result for computing probabilistic simulation with respect to mixed actions.Comment: We've fixed a problem in the SOFSEM'12 conference versio

Development of an energy-absorbing passenger seat for a transport aircraft

Commercial air transport passenger safety and survivability, in the event of an impact-survivable crash, are subjects receiving increased technical focus/study by the aviation community. A B-720 aircraft, highly instrumented, and remotely controlled from the ground by a pilot in a simulated cockpit, was crashed on a specially prepared gravel covered impact site. The aircraft was impacted under controlled conditions in an air-to-ground gear-up mode, at a nominal speed of 150 knots and 4-1/2 deg glide slope. Data from a number of on board, crash worthiness experiments provided valuable information related to structural loads/failure modes, antimisting kerosene fuel, passenger and attendant restraint systems and energy absorbing seats. The development of an energy absorbing (EA) seat accomplished through innovative modification of a typical modern standard commercial aviation transport, three passenger seat is described

Light airplane crash tests at three pitch angles

Three similar twin-engine general aviation airplane specimens were crash tested at an impact dynamics research facility at 27 m/sec, a flight path angle of -15 deg, and pitch angles of -15 deg, 0 deg, and 15 deg. Other crash parameters were held constant. The test facility, instrumentation, test specimens, and test method are briefly described. Structural damage and accelerometer data for each of the three impact conditions are presented and discussed

Light airplane crash tests at impact velocities of 13 and 27 m/sec

Two similar general aviation airplanes were crash tested at the Langley impact dynamics research facility at velocities of 13 and 27 m/sec. Other flight parameters were held constant. The facility, instrumentation, tests specimens, and test method are briefly described. Structural damage and accelerometer data are discussed